1. Decision procedures : an algorithmic point of view
المؤلف: / Daniel Kroening, Ofer Strichman,کرونینگ,Kroening
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: تجزیه و تحلیل ترتیبی,الگوریتمها,تصمیمگیری آماری
رده :
QA
۲۹۷
/
۷
/
ک
۴
د
۹ ۱۳۸۷